home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / gnu / dejagnu.lha / dejagnu-1.0.1 / etc / Makefile.in < prev    next >
Makefile  |  1993-03-23  |  2KB  |  97 lines

  1. # Makefile.in for etc
  2. #
  3.  
  4. prefix         = /usr/local
  5. exec_prefix     = $(prefix)
  6.  
  7. srcdir  = .
  8. bindir  = $(exec_prefix)/bin
  9. libdir  = $(exec_prefix)/lib
  10. tooldir = $(libdir)
  11. datadir = $(prefix)/lib
  12.  
  13. mandir  = $(prefix)/man
  14. man1dir = $(mandir)/man1
  15. man2dir = $(mandir)/man2
  16. man3dir = $(mandir)/man3
  17. man4dir = $(mandir)/man4
  18. man5dir = $(mandir)/man5
  19. man6dir = $(mandir)/man6
  20. man7dir = $(mandir)/man7
  21. man8dir = $(mandir)/man8
  22. man9dir = $(mandir)/man9
  23. infodir = $(prefix)/info
  24.  
  25. SHELL = /bin/sh
  26.  
  27. INSTALL     = install -c
  28. INSTALL_PROGRAM = $(INSTALL)
  29. INSTALL_DATA    = $(INSTALL)
  30.  
  31. RM    = rm -f
  32.  
  33. MAKEINFO = makeinfo
  34.  
  35. #### Host, target, and site specific Makefile fragments come in here.
  36. ###
  37.  
  38. INFOFILES = configure.info standards.info cfg-paper.info #intro.info
  39. DVIFILES = configure.dvi standards.dvi cfg-paper.dvi #intro.dvi
  40.  
  41. all:
  42.  
  43. install:  $(srcdir)/configure.man
  44.     -parent=`echo $(man1dir)|sed -e 's@/[^/]*$$@@'`; \
  45.     if [ -d $$parent ] ; then true ; else mkdir $$parent ; fi
  46.     -if [ -d $(man1dir) ] ; then true ; else mkdir $(man1dir) ; fi
  47.     $(INSTALL_DATA) $(srcdir)/configure.man $(man1dir)/configure.1
  48.  
  49. info: $(INFOFILES)
  50.  
  51. install-info:
  52.     -parent=`echo $(infodir)|sed -e 's@/[^/]*$$@@'`; \
  53.     if [ -d $$parent ] ; then true ; else mkdir $$parent ; fi
  54.     -if [ -d $(infodir) ] ; then true ; else mkdir $(infodir) ; fi
  55.     for i in *.info* ; do \
  56.       $(INSTALL) $$i $(infodir) ; \
  57.     done
  58.  
  59. dvi : $(DVIFILES)
  60.  
  61. configure.info: $(srcdir)/configure.texi
  62.     $(MAKEINFO) -o configure.info $(srcdir)/configure.texi
  63.  
  64. configure.dvi : $(srcdir)/configure.texi
  65.     $(TEXI2DVI) $(srcdir)/configure.texi
  66.  
  67. standards.info: $(srcdir)/standards.texi
  68.     $(MAKEINFO) -I$(srcdir) -o standards.info $(srcdir)/standards.texi
  69.  
  70. standards.dvi : $(srcdir)/standards.texi
  71.     $(TEXI2DVI) $(srcdir)/standards.texi
  72.  
  73. cfg-paper.info : $(srcdir)/cfg-paper.texi
  74.     $(MAKEINFO) -o cfg-paper.info $(srcdir)/cfg-paper.texi
  75.  
  76. cfg-paper.dvi : $(srcdir)/cfg-paper.texi
  77.     $(TEXI2DVI) $(srcdir)/cfg-paper.texi
  78.  
  79.  
  80. clean:
  81.     $(RM) *.info *.info-*
  82.  
  83. distclean:   clean
  84. mostlyclean: clean
  85. realclean:   clean
  86.  
  87. Makefile: $(srcdir)/Makefile.in $(host_makefile_frag) $(target_makefile_frag)
  88.     $(SHELL) ./config.status
  89.  
  90. ## these last targets are for standards.texi conformance
  91. dist:
  92. check:
  93. installcheck:
  94.  
  95. TAGS:
  96.